$\forall$$M$:MsgA, $k$:Knd. $M$.V($k$) $\in$ Type